#include <deployment.h>
#include <po_hi_types.h>
__po_hi_entity_server_t server_entity_table[__PO_HI_NB_ENTITIES] = {node_a_pinger_k_server,invalid_server};
__po_hi_node_t entity_table[__PO_HI_NB_ENTITIES] = {node_a_k,node_b_k};

__po_hi_inetport_t node_port[__PO_HI_NB_NODES] = {__PO_HI_NOPORT, 12002};
__po_hi_inetaddr_t node_addr[__PO_HI_NB_NODES] = {__PO_HI_NOADDR, "127.0.0.1"};

__po_hi_node_t mynode = node_b_k;
